آثار الباقية في شرح الحاشية - ذهنی تهرانی، سید محمد جواد - الصفحة ٣٨٨ - وجه تسميه به خلف
متن : و قد نحيض باسم قياس الخلف.
ترجمه : گاهى از قياس استثنائى باسم قياس خلف نام ميبرند .
حاشيه : قوله : و قد نحيض الخ :
اعلم انّه قد يستدلّ على اثبات المدّعى بانّه لولاه لصدق نقيضه لاستحالة ارتفاع النقيضين لكن نقيضه غير واقع فيكون هذا واقعا كما مرّ غير مرّة فى مباحث العكوس و الاقيسه .
و هذا القسم من الاستدلال يسمّى بالخلف امّا لانّه ينجرّ الى الخلف اى المحال على تقدير صدق نقيض المطلوب او لانّه بنتقل منه الى المطلوب من خلفه اى من ورائه الّذى هو نقيضه .
ترجمه و شرح :
قياس خلف
مرحوم محشّى در ذيل عبارت مصنّف يعنى « و قد نحيض تا آخر عبارت » ميفرمايد :
گاهى براى اثبات مدّعى اينچنين استدلال ميشود كه ميگوئيم اينمدّعى حقّ و ثابت است زيرا اگر چنين نباشد بايد نقيضش حقّ باشد زيرا ارتفاع نقيضين را نشايد لكن مىبينيم كه اين نقيض صادق و واقع نيست پس اصل مدّعى حق است چنانچه از اين طريق در باب عكس و اثبات نتائج اشكال ثلاثه از اشكال اربعه بكرّات و مرّات استفاده نموديم و گفتيم كه اينقسم از استدلال در نزد منطقيين به دليل خلف موسوم است .
وجه تسميه به خلف
و وجه تسميه اين دليل به « خلف » شايد يكدام از ايندو جهت ذيل باشد :
الف : آنكه از اين طريق منتهى به « خلف » يعنى امر محال
آثار الباقية في شرح الحاشية، ص